redundant constraint